semantics resolution

英 [sɪˈmæntɪks ˌrezəˈluːʃn]

美 [sɪˈmæntɪks ˌrezəˈluːʃn]

【计】语义学消解，语义学归结

The only rule necessary to explain the semantics is the resolution rule used for class attribute references.
这里唯一需要解释的语义是解析类属性的规则。
Flow Document capability enables automatic support to reflow content within an application depending on the window size, content semantics, and device resolution of the application.
FlowDocument的功能对随窗口大小，内容语义（semantics），以及应用的设备分辨率之不同而重新流动内容提供了自动支持。
Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
As the important model in the research of semantic paradoxes in recent years of the West, the situation semantics solution to paradoxes develops a school of its own among many programs for semantic paradoxes resolution.
情境语义学解悖方案是近年西方语义悖论研究的重要典范，在诸多语义悖论解决方案中独树一帜。